info_TEXINFOS = socket++.texi

